Kahn process networks - PDFSEARCH.IO - Document Search Engine

Kahn process networks
Results: 28

#	Item
21	A Virtual Memory Foundation for Scalable Deterministic Parallelism Yu Zhang Bryan Ford Add to Reading List Source URL: dedis.cs.yale.edu Language: English - Date: 2011-06-28 08:00:27 Parallel computing Message Passing Interface Thread OpenMP Inter-process communication Barrier Parallel programming model Kahn process networks Message passing Concurrent computing Computing Computer programming
22	Determinating Timing Channels in Compute Clouds Amittai Aviram, Sen Hu, Bryan Ford Ramakrishna Gummadi Yale University Add to Reading List Source URL: dedis.cs.yale.edu Language: English - Date: 2013-11-09 13:56:19 Timing attack Timing channel Parallel computing Thread Counter Computing Cloud computing Kahn process networks
23	Determinating Timing Channels in Compute Clouds Amittai Aviram, Sen Hu, Bryan Ford Ramakrishna Gummadi Yale University Add to Reading List Source URL: dedis.cs.yale.edu Language: English - Date: 2010-09-29 09:32:27 Timing attack Timing channel Parallel computing Thread Counter Computing Cloud computing Kahn process networks
24	Under consideration for publication in Math. Struct. in Comp. Science A Relational Model of Non-Deterministic Dataflow Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-05-12 10:41:14 Theoretical computer science Monoidal categories Logic in computer science Computer architecture Programming language semantics Dataflow Kahn process networks Operational semantics Kripke semantics Models of computation Mathematics Logic
25	PDF Document Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 1999-04-20 20:15:25 Computer programming Computer architecture Computer data Dataflow Visual programming languages Kahn process networks SIGNAL Lucid Parallel computing Computing Software engineering Models of computation
26	PDF Document Add to Reading List Source URL: pop-art.inrialpes.fr Language: English - Date: 2007-05-22 05:49:26 Electronics Electrical circuits Kahn process networks Globally asynchronous locally synchronous Formal methods FIFO Asynchronous circuit SIGNAL Clock signal Electronic engineering Synchronization Computing
27	PDF Document Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2001-10-09 19:39:36 Software development process Programming paradigms Computing Models of computation Object-oriented programming Data model Kahn process networks Jackson structured programming Michael A. Jackson Software development Software engineering Jackson system development
28	PDF Document Add to Reading List Source URL: www.lorentzcenter.nl Language: English - Date: 2010-08-28 10:29:16 Kahn process networks Embedded system Economic model